Olveczky, Peter Csaba: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 596 ||

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2016

Language:

english

File:

PDF, 13.45 MB

english, 2016

2

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 596 || A Controller Safety Concept Based on Software-Implemented Fault Tolerance for Fail-Operational Automotive Applications

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2016

Language:

english

File:

PDF, 2.23 MB

english, 2016

3

Semantics and pragmatics of Real-Time Maude

Peter Csaba Ölveczky, José Meseguer

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 572 KB

english, 2007

4

[IEEE Distributed Processing Symposium (IPDPS) - Miami, FL, USA (2008.04.14-2008.04.18)] 2008 IEEE International Symposium on Parallel and Distributed Processing - Formal modeling and analysis of real-time resource-sharing protocols in Real-Time Maude

Olveczky, Peter Csaba, Prabhakar, Pavithra, Liu, Xue

Year:

2008

Language:

english

File:

PDF, 230 KB

english, 2008

5

Modeling and analyzing mobile ad hoc networks in Real-Time Maude

Liu, Si, Ölveczky, Peter Csaba, Meseguer, José

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 2.46 MB

english, 2015

6

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 ||

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 18.46 MB

english, 2015

7

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || From Rewriting Logic, to Programming Language Semantics, to Program Verification

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 706 KB

english, 2015

8

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || Two Decades of Maude

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 780 KB

english, 2015

9

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 596 || Compositional Predictability Analysis of Mixed Critical Real Time Systems

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2016

Language:

english

File:

PDF, 759 KB

english, 2016

10

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 694 || Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2017

Language:

english

File:

PDF, 695 KB

english, 2017

11

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 1008 (6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers) || Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2019

Language:

english

File:

PDF, 812 KB

english, 2019

12

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 1008 (6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers) ||

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2019

Language:

english

File:

PDF, 7.06 MB

english, 2019

13

Formal modeling and analysis of safety-critical human multitasking

Broccia, Giovanna, Milazzo, Paolo, Ölveczky, Peter Csaba

Journal:

Innovations in Systems and Software Engineering

Year:

2019

Language:

english

File:

PDF, 656 KB

english, 2019

14

Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems

Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 440 KB

english, 2011

15

Specification of real-time and hybrid systems in rewriting logic

Peter Csaba Ölveczky, José Meseguer

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 395 KB

english, 2002

16

Specifying Real-Time Systems in Rewriting Logic

Peter Csaba Ölveczky, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.42 MB

english, 1996

17

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 266 KB

english, 2001

18

Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems

Peter Csaba ölveczky, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 197 KB

english, 2000

19

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Peter Csaba Ölveczky, José Meseguer, Carolyn L. Talcott

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 512 KB

english, 2006

20

Real-Time Maude 2.1

Peter Csaba Ölveczky, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 495 KB

english, 2005

21

Recent Advances in Real-Time Maude

Peter Csaba Ölveczky, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 341 KB

english, 2007

22

Abstraction and Completeness for Real-Time Maude

Peter Csaba Ölveczky, José Meseguer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 430 KB

english, 2007

23

Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude

Peter Csaba Ölveczky, Stian Thorvaldsen

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.21 MB

english, 2009

24

Formalization and correctness of the PALS architectural pattern for distributed real-time systems

José Meseguer, Peter Csaba Ölveczky

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 662 KB

english, 2012

25

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

Ölveczky, Peter Csaba

Year:

2010

Language:

english

File:

PDF, 281 KB

english, 2010

26

A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude

Francisco Durán, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 342 KB

english, 2009

27

Preface

Martı´-Oliet, Narciso, Ölveczky, Peter Csaba

Journal:

The Journal of Logic and Algebraic Programming

Year:

2012

Language:

english

File:

PDF, 167 KB

english, 2012

28

Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

Bae, Kyungmin, Ölveczky, Peter Csaba, Feng, Thomas Huining, Lee, Edward A., Tripakis, Stavros

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 1.22 MB

english, 2012

29

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || A Formal Pattern Architecture for Safe Medical Systems

Ölveczky, Peter Csaba

Year:

2010

Language:

english

File:

PDF, 381 KB

english, 2010

30

Preface

Arbab, Farhad, Ölveczky, Peter Csaba

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 115 KB

english, 2014

31

Formal patterns for multirate distributed real-time systems

Bae, Kyungmin, Meseguer, José, Ölveczky, Peter Csaba

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.96 MB

english, 2014

32

[IEEE 2008 11th IEEE International Conference on Computational Science and Engineering Workshops (CSEWORKSHOPS) - San Paulo, Brazil (2008.07.16-2008.07.18)] 2008 11th IEEE International Conference on Computational Science and Engineering - Workshops - Formal Modeling and Analysis of a Distributed Database Protocol in Maude

Ölveczky, Peter Csaba

Year:

2008

Language:

english

File:

PDF, 506 KB

english, 2008

33

[IEEE 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE 2011) - Tehran, Iran (2011.06.15-2011.06.16)] 2011 CSI International Symposium on Computer Science and Software Engineering (CSSE) - Formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection

Fadlisyah, Muhammad, Olveczky, Peter Csaba, Abraham, Erika

Year:

2011

Language:

english

File:

PDF, 677 KB

english, 2011

34

[IEEE 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Phuket, Thailand (2008.08.6-2008.08.8)] 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Towards Formal Modeling and Analysis of Networks of Embedded Medical Devices in Real-Time Maude

Ölveczky, Peter Csaba

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

35

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Formal Modeling and Analysis of an IETF Multicast Protocol

Lien, Elisabeth, Ölveczky, Peter Csaba

Year:

2009

Language:

english

File:

PDF, 454 KB

english, 2009

36

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude

Olveczky, Peter Csaba, Grimeland, Martin

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

37

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 419 || Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2014

Language:

english

File:

PDF, 939 KB

english, 2014

38

Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories

Lepri, Daniela, Ábrahám, Erika, Ölveczky, Peter Csaba

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.51 MB

english, 2015

39

Formal modeling and analysis of interacting hybrid systems in HI-Maude: What happened at the 2010 Sauna World Championships?

Fadlisyah, Muhammad, Ölveczky, Peter Csaba, Ábrahám, Erika

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 2.05 MB

english, 2015

40

Designing and verifying distributed cyber-physical systems using Multirate PALS: An airplane turning control system case study

Bae, Kyungmin, Krisiloff, Joshua, Meseguer, José, Ölveczky, Peter Csaba

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.41 MB

english, 2015

41

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 476 ||

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2015

Language:

english

File:

PDF, 14.46 MB

english, 2015

42

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 7253 || A Proof Assistant Based Formalization of MDE Components

Arbab, Farhad, Ölveczky, Peter Csaba

Year:

2012

Language:

english

File:

PDF, 450 KB

english, 2012

43

[ACM Press the fifth international workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the fifth international workshop on High-level parallel programming and applications - HLPP '11 - Formally specifying and analyzing a parallel virtual machine for lazy functional languages using Maude

Fourtounis, Georgios, Ölveczky, Peter Csaba, Papaspyrou, Nikolaos

Year:

2011

Language:

english

File:

PDF, 432 KB

english, 2011

44

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 219 KB

english, 2015

45

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || Discretionary Information Flow Control for Interaction-Oriented Specifications

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 862 KB

english, 2015

46

Preface

Artho, Cyrille, Ölveczky, Peter Csaba

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 144 KB

english, 2015

47

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

Sabahi-Kaviani, Zeynab, Khosravi, Ramtin, Ölveczky, Peter Csaba, Khamespanah, Ehsan, Sirjani, Marjan

Journal:

Science of Computer Programming

Year:

2015

Language:

english

File:

PDF, 1.73 MB

english, 2015

48

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || A Normal Form for Stateful Connectors

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 741 KB

english, 2015

49

[Communications in Computer and Information Science] Formal Techniques for Safety-Critical Systems Volume 596 || An Approach to Static-Dynamic Software Analysis

Artho, Cyrille, Ölveczky, Peter Csaba

Year:

2016

Language:

english

File:

PDF, 1.52 MB

english, 2016

50

[Lecture Notes in Computer Science] Logic, Rewriting, and Concurrency Volume 9200 || Network-on-Chip Firewall: Countering Defective and Malicious System-on-Chip Hardware

Martí-Oliet, Narciso, Ölveczky, Peter Csaba, Talcott, Carolyn

Year:

2015

Language:

english

File:

PDF, 1.56 MB

english, 2015